../stdglue.py